Skip to content

Purescript 15 support#33

Merged
mjrussell merged 3 commits intomainfrom
purs-15
Jun 5, 2022
Merged

Purescript 15 support#33
mjrussell merged 3 commits intomainfrom
purs-15

Conversation

@mjrussell
Copy link
Member

Fixes #32

@mjrussell
Copy link
Member Author

@i-am-the-slime mind taking a quick look at this?

@mjrussell mjrussell merged commit 545ff01 into main Jun 5, 2022
@mjrussell mjrussell deleted the purs-15 branch June 5, 2022 15:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update to 0.15 and cut a new release

2 participants